Conformance for DecSerFlow Constraints

نویسندگان

  • Yutian Sun
  • Jianwen Su
چکیده

DecSerFlow is a declarative language to specify business processes. It consists of a set of temporal predicates that can be translated into LTL but limited to finite sequences. This paper focuses on the “conformance problem”: Given a set of DecSerFlow constraints, is there an execution sequence that satisfies all given constraints? This paper provides syntactic characterizations of conformance for several subclasses of DecSerFlow constraints. These characterizations directly lead to efficient (polynomial time) conformance testing. Furthermore, algorithms are developed to generate conforming strings if the set of constraints is conformable. A conformance analyzer is developed based on the syntactic characterizations and the string generating algorithms. Experiments reveal several interesting factors concerning performance and scalability.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inducing Declarative Logic-Based Models from Labeled Traces

In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. The approach is based on a modified Inductive Logic Programming algorithm, capable of learning a set of declarative rules. The advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way; sec...

متن کامل

2 Specifying and Monitoring Service Flows : Making Web Services Process - Aware

BPEL has emerged as the de-facto standard for implementing processes based on web services while formal languages like Petri nets have been proposed as an “academic response” allowing for all kinds of analysis. Although languages such as BPEL and Petri nets can be used to describe service flows, they both tend to “overspecify” the process and this does not fit well with the autonomous nature of...

متن کامل

DecSerFlow: Towards a Truly Declarative Service Flow Language

The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and π-calculus. The languages developed for service flows, i.e., process specification languag...

متن کامل

Specifying and Monitoring Service Flows: Making Web Services Process-Aware

BPEL has emerged as the de-facto standard for implementing processes based on web services while formal languages like Petri nets have been proposed as an “academic response” allowing for all kinds of analysis. Although languages such as BPEL and Petri nets can be used to describe service flows, they both tend to “overspecify” the process and this does not fit well with the autonomous nature of...

متن کامل

Towards a DecSerFlow Declarative Semantics based on Computational Logic

In this paper we exploit a computational logic-based framework, called SCIFF, for the formalization of DecSerFlow. DecSerFlow is a graphical, extendible high-level language for the declarative specification of service flows, and is grounded on LTL. SCIFF was originally developed in the context of the SOCS european project , where we addressed the issue of providing a formal language to define a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014